KB/RMS: an intelligent assistant for requirement definition

A conceptual framework and a system model for an intelligent assistant for requirement defition, KB/RMS, is presented. The requirement definition process is characterkd by the Requirements Context Model. Informal and formal methods for requirement defiition are considered in light of this model, which serves as the logical schema for the KB/RMS database. Conventional and knowledge-based system support for requirement defiition is summarized. The use of natural language processing, a semantic model of the problem and solution spaces, domain and technology models, and inference driven augmentation, validation, and verification of the semantic model is discussed. Production of design representations from the augmented semantic model is covered.